#include <linux/sched.h>
#include <linux/sched/task.h>
#include <linux/sched/init.h>
#include <linux/start_kernel.h>
#include <linux/delay.h>
#include <linux/printk.h>
#include <linux/jiffies.h>

void run_user(void)
{
    int cnt = 0;
    int d = 0;

    while (1)
    {
        cnt++;
        printk("running %d, %d, %d\r\n", cnt, jiffies, d);
        d = jiffies;
        msleep(2000);
        d = jiffies - d;
    }
}
